-
1 примитивно-рекурсивная функция
Русско-английский научно-технический словарь Масловского > примитивно-рекурсивная функция
-
2 примитивно рекурсивная функция
Mathematics: primitively recursive functionУниверсальный русско-английский словарь > примитивно рекурсивная функция
См. также в других словарях:
Ackermann function — In recursion theory, the Ackermann function or Ackermann Péter function is a simple example of a general recursive function that is not primitive recursive. General recursive functions are also known as computable functions. The set of primitive… … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Craig's theorem — In mathematical logic, Craig s theorem states that any recursively enumerable set of well formed formulas of a first order language is (primitively) recursively axiomatizable. This result is not related to the well known Craig interpolation… … Wikipedia